Comparative Analysis of Formal Specification Languages Z, VDM and B
نویسندگان
چکیده
This paper focuses on comparison on formal specification languages and chooses the appropriate one for a particular problem. Formal specification is a better way to identifying specification errors and describing specification in unambiguous ways. Formal specification is a specification written in a formal language where a formal language is either based on rigorous mathematical model or simply on standardized programming or specification language. Formal specification language expressed the specification in a language whose vocabulary syntax and semantic are properly defined. Formal specification language provides mathematical representation of the system. In this paper I will introduce three formal specification languages such as Z, VDM, and B and perform comparison among to them.
منابع مشابه
Formal Validation of Behavioral Model using State Based and Event Based Approaches
A number of formal methods are available in literature for analysis and design of software as well as hardware systems. To choose a particular specification method, it depends on the character of the desired product. As the complexity of software increases, the need for reasoning about correct behaviour becomes more prominent. Formal methods are a set of techniques for analysis, verification, a...
متن کاملAn Approach for Syntax Tree Construction using Formal Specification Language
A Compiler is a language translator which translates high level language to low level language, this is the task of a compiler. Removing the bugs of source program does not assure that the generated target code is completely error free because there may be bugs in compiler also. So it is more important to verify the Compiler itself. Lexical analyzer is a first phase and main part of compiler us...
متن کاملCoMet: Comparative Methodology A Technical Note: Transport Systems
We present “standard” domain description and requirements prescription exam-ples using the RAISE [106] Specification Language, RSL [104]. The illustrated exampleis that of transportation networks.The purpose of this technical note is to serve as one of hopefully several “devel-opments” of transportation networks using different approaches, including differentspecification la...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملData and Control Flow Analysis of VDMμ Specifications
Formal Specification languages are being widely used for system specification and testing. Highly critical systems such as real time systems, avionics, and medical systems are represented using Formal specification languages. Formal specifications based testing is mostly performed using black box testing approaches thus testing only the set of inputs and outputs of the system. The formal specif...
متن کامل